man dives world's deepest pool